<?

function generate_menu($array) {
	echo "<table class=\"top\" cellspacing=\"0\"><tr>
";
	foreach($array as $name=>$link) {
		echo "<td>";
		$end = "</td>\n";
		if($link!=$_SERVER['SCRIPT_NAME'] OR true) {
			echo "<a href=\"" . $link . "\">";
			$end = "</a></td>\n";
		}
		echo "<nobr>" . $name . "</nobr>" . $end;
	}
	echo "<td id=\"endcap\" align=\"right\"><i>WIMON</i></td>\n</tr></table><br>";
}

function show_headers() {
echo <<<END
<html>
<head>
<title>Test</title>
<link rel="stylesheet" type="text/css" href="default.css">
</head>
<body>
END;
}
